Stress-testing Control Structures for Dynamic Dispatch in Java
نویسندگان
چکیده
8:9 ; < =?>A@CB >ED F < G+@2HJI"K LNME< G OCP">E; B >E;"QRK STSVU ; @WG+>XK ;Y@Z< MEMADZI >ADC<[D < MX>EOZ; G\SVO]< G+U"L+O^K S%K P _)O]@`G abK L+>XO]; G+O]BcF"L K Q L2< =?=?>X; Q MA< ;"Q U < Q O]D\ME>Xd OfeNgCgh< ;iBkj <$l <"monbGp@]< ;qPiOR@ZK D G ME9YK ; B O]OZF"ME9kF">XF6OZME>E;"O]BrF"L K @ZO]D+D K L+D]IJP6O]@Z< U D OfB 9 ; < =^>A@R@]< MEMED G+L+< ; D MA< G+OsG+KpH < L+B atG K atF L O4B >E@`G >E; B >EL O4@WG P"L+< ; @2HR>E; D G L+U @Wa G+>XK ; DZI5uNH">E@2Hk< L+OvF L K ;"OpG+Kw@Z< UiD >E;"QxF >XF6OZME>X; OoP"U"P"P"MEO]D]m
منابع مشابه
Functional Adaptive Programming with DemeterF
In this paper we present a new functional traversal abstraction for processing OO data structures that decomposes traversal computation into three function objects and a traversal control function. Function objects compute and combine values over a general traversal while the control function allows programmers to limit the extent of a traversal. Our new abstraction is supported by a Java libra...
متن کاملMultiple dispatch in reflective runtime environment
Message dispatch in object-oriented programming (OOP) involves target method lookup in dispatch table/tree. Reflective environment builds dispatch data-structure at runtime as types can be added at runtime. Hence, algorithms for reflective environments require dynamic data structure for dispatch. In this paper, we propose a tree-based algorithm for multiple dispatch in reflective runtime enviro...
متن کاملData-flow-based Testing of Object-Oriented Libraries
Data-flow-based testing is a well-established approach to program testing. Much object-oriented code is written as libraries; hence data-flow-based testing of object-oriented libraries is of great importance. However, finding def-use relationships in libraries written in object-oriented languages (e.g., Java and C++) is difficult because of unknown aliasing between parameters, unknown concrete ...
متن کاملData-flow-based Testing of Object-Oriented Libraries DCS-TR-382
Data-flow-based testing is a well-established approach to program testing. Much object-oriented code is written as libraries; hence data-flow-based testing of object-oriented libraries is of great importance. However, finding def-use associations in libraries written in object-oriented languages (e.g., C++ and Java) is difficult because of unknown aliasing between parameters, unknown concrete t...
متن کاملA Program Logic for Bytecode
Program logics for bytecode languages such as Java bytecode or the .NET CIL can be used to apply Proof-Carrying Code concepts to bytecode programs and to verify correctness properties of bytecode programs. This paper presents a Hoare-style logic for a sequential bytecode kernel language similar to Java bytecode and CIL. The logic handles object-oriented features such as inheritance, dynamic met...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002